Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161–173]
نویسندگان
چکیده
منابع مشابه
Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161 (2009) 161-173]
Recently, the first two authors characterized in Di Nola and Dvurečenskij (2009) [1] subdirectly irreducible state-morphism MV-algebras. Unfortunately, the main theorem (Theorem 5.4(ii)) has a gap in the proof of Claim 10, as the example below shows. We now present a correct characterization and its correct proof. © 2010 Elsevier B.V. All rights reserved.
متن کاملErratum to "On the reflection invariance of residuated chains" [Ann. Pure Appl. Logic 161 (2009) 220-227]
In Section 2 replace the definition of ∗◦Q in Definition 1 by x∗◦Q y = inf{u ∗◦ v | u > x, v > y}. It is defined only if the infimum exists. Proposition 1 remains unchanged. Theorem 0. Let (X, ∗◦,→∗◦,≤) be a commutative residuated semigroup on a complete chain equipped with the order topology. Let a, b, c ∈ X be such that a = b→∗◦ c. Let (x, y) ∈ X × X be such that 1. neither x nor y equals the...
متن کاملAddendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187
Addendum to “Choiceless polynomial time” Ann. Pure Appl. Logic 100 (1999) 141–187 Andreas Blassa ; ∗;1, Yuri Gurevichb Saharon Shelahc;d ; 2 aMathematics Department, University of Michigan, Ann Arbor, MI 48109–1109, USA bMicrosoft Research, One Microsoft Way, Redmond, WA 98052, USA cMathematics Department, Hebrew University, Jerusalem 91904, Israel dMathematics Department, Rutgers University, N...
متن کاملState-morphism pseudo-effect algebras
The notion of a state-morphism on pseudoeffect algebras is introduced, and pseudo-effect algebras with distinguished state-morphisms are studied under the name state-morphism pseudo-effect algebras (SMPEAs). It is shown that every SMPEA admits a representation as a (total) state-morphism algebra, and some results from the general theory of state-morphism algebras (that is, algebras endowed with...
متن کاملThe Logic of Quasi-MV Algebras
The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present article aims at filling this gap.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.06.004